Description

Problem*

Resolves #4151

Summary*

Adds a manual Type: Debug impl for displaying all the information in types a bit more succinctly. This is helpful while debugging generic code for following type variable links which are otherwise excluded from the Type: Display impl.

Additional Context

Documentation*

Check one:

• No documentation needed.
• Documentation included in this PR.
• [Exceptional Case] Documentation to be submitted in a separate PR.

PR Checklist*

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.